Koha online

1.
Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography

by Hromkovic, Juraj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 HRO] (1).
Place hold
2.
Software engineering 1 : abstraction and modelling.

by Bjorner, Dines | Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
Place hold
3.
Software engineering 3 : domains, requirements, and software design

by Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
Place hold
4.
Elements of finite model theory

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
Place hold
5.
Algorithmics for hard problems

by Hromkovic, Juraj.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 HRO] (1).
Place hold
6.
Public-key cryptography

by Salomma, Arto.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 005.82 SAL] (1).
Place hold

Powered by Koha